R-discrete_compat(A; B)
== if Reffect?(A)
== ifthen if Reffect?(B)
== ifthen ifthen (Reffect-x(A) = Reffect-x(B))  (Reffect-discrete(A) = Reffect-discrete(B))
== ifthen if Rinit?(B)
== ifthen ifthen (Reffect-x(A) = Rinit-x(B))  (Reffect-discrete(A) = Rinit-discrete(B))
== ifthen else True
== ifthen fi 
== if Rinit?(A)
== ifthen if Reffect?(B)
== ifthen ifthen (Rinit-x(A) = Reffect-x(B))  (Rinit-discrete(A) = Reffect-discrete(B))
== ifthen if Rinit?(B)
== ifthen ifthen (Rinit-x(A) = Rinit-x(B))  (Rinit-discrete(A) = Rinit-discrete(B))
== ifthen else True
== ifthen fi 
== else True
== fi  

latex

---

clarification:

R-discrete_compat(A; B)
== if Reffect?(A)
== ifthen if Reffect?(B)
== ifthen ifthen (Reffect-x(A) = Reffect-x(B)  Id)
== ifthen ifthen  (Reffect-discrete(A) = Reffect-discrete(B)  )
== ifthen if Rinit?(B)
== ifthen ifthen (Reffect-x(A) = Rinit-x(B)  Id)  (Reffect-discrete(A) = Rinit-discrete(B)  )
== ifthen else True
== ifthen fi 
== if Rinit?(A)
== ifthen if Reffect?(B)
== ifthen ifthen (Rinit-x(A) = Reffect-x(B)  Id)  (Rinit-discrete(A) = Reffect-discrete(B)  )
== ifthen if Rinit?(B)
== ifthen ifthen (Rinit-x(A) = Rinit-x(B)  Id)  (Rinit-discrete(A) = Rinit-discrete(B)  )
== ifthen else True
== ifthen fi 
== else True
== fi  

latex

Definitions	True, Rinit-discrete(A), , s = t, Rinit-x(x1), Id, P  Q, Rinit?(x1), if b then t else f fi , Reffect-discrete(A), Reffect-x(x1), Reffect?(x1)
FDL editor aliases	R-discrete_compat